Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Proper forcing / S. Shelah
| Proper forcing / S. Shelah |
| Autore | Shelah, Saharon |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1982 |
| Collana | Lecture notes in mathematics |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001234040403321 |
Shelah, Saharon
|
||
| Berlin : Springer Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proper forcing / Saharon Shelah
| Proper forcing / Saharon Shelah |
| Autore | Shelah, Saharon |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1982 |
| Descrizione fisica | XXIX, 496 p. ; 25 cm. |
| Disciplina | 511.8 |
| Collana | Lecture notes in mathematics |
| Soggetto topico |
Insiemi - Teoria
Logica matematica |
| ISBN | 3-540-11593-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000012965 |
|
Shelah, Saharon
|
||
| Berlin [etc.] : Springer, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Proper forcing / / Saharon Shelah
| Proper forcing / / Saharon Shelah |
| Autore | Shelah Saharon |
| Edizione | [1st ed. 1982.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [1982] |
| Descrizione fisica | 1 online resource (XXXII, 500 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico | Forcing (Model theory) |
| ISBN | 3-662-21543-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introducing forcing -- The consistency of CH (the continuum hypothesis) -- On the consistency of the failure of CH -- More on the cardinality and cohen reals -- Equivalence of forcings notions, and canonical names -- Random reals, collapsing cardinals and diamonds -- The composition of two forcing notions -- Iterated forcing -- Martin Axiom and few applications -- The uniformization property -- Maximal almost disjoint families of subset of ? -- Introducing properness -- More on properness -- Preservation of properness under countable support iteration -- Martin Axiom revisited -- On Aronszajn trees -- Maybe there is no ?2-Aronszajn tree -- Closed unbounded subsets of ?1 can run away from many sets -- On oracle chain conditions -- The omitting type theorem -- Iterations of -c.c. forcings -- Reduction of the main theorem to the main lemma -- Proof of main lemma 4.6 -- Iteration of forcing notions which does not add reals -- Generalizations of properness -- ?-properness and (E,?)-properness revisited -- Preservation of ?- properness + the ??- property -- What forcing can we iterate without addding reals -- Specializing an Aronszajn tree without adding reals -- Iteration of orcing notions -- A general preservation theorem -- Three known properties -- The PP(P-point) property -- There may be no P-point -- There may exist a unique Ramsey ultrafilter -- On the ?2-chain condition -- The axioms -- Applications of axiom II -- Application of axiom I -- A counterexample connected to preservation -- Mixed iteration -- Chain conditions revisited -- The axioms revisited -- More on forcing not adding ?-sequences and on the diagonal argument -- Free limits -- Preservation by free limit -- Aronszajn trees: various ways to specialize -- Independence results -- Iterated forcing with RCS (revised countable support) -- Proper forcing revisited -- Pseudo-completeness -- Specific forcings -- Chain conditions and Avraham's problem -- Reflection properties of S 02: Refining Avraham's problem and precipitous ideals -- Strong preservation and semi-properness -- Friedman's problem -- The theorems -- The condition -- The preservation properties guaranteed by the S-condition -- Forcing notions satisfying the S-condition -- Finite composition -- Preservation of the I-condition by iteration -- Further independence results -- 0 Introduction -- When is Namba forcing semi-proper, Chang Conjecture and games -- Games and properness -- Amalgamating the S-condition with properness -- The strong covering lemma: Definition and implications -- Proof of strong covering lemmas -- A counterexample -- When adding a real cannot destroy CH -- Bound on for ?? singular -- Concluding remarks and questions -- Unif-strong negation of the weak diamond -- On the power of Ext and Whitehead problem -- Weak diamond for ?2 assuming CH. |
| Record Nr. | UNISA-996466380503316 |
|
Shelah Saharon
|
||
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [1982] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proper Forcing / Saharon Shelah
| Proper Forcing / Saharon Shelah |
| Autore | Shelah, Saharon |
| Pubbl/distr/stampa | Berlin, : Springer, 1982 |
| Descrizione fisica | xxxii, 500 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03E05 - Other combinatorial set theory [MSC 2020] |
| Soggetto non controllato |
Forcing
Proofs Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0262211 |
|
Shelah, Saharon
|
||
| Berlin, : Springer, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Proper forcing / Saharon Shelah
| Proper forcing / Saharon Shelah |
| Autore | Shelah, Saharon |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1982 |
| Descrizione fisica | xxix, 496 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 940 |
| Soggetto topico |
Axiomatic set theory
Forcing |
| ISBN | 3540115935 |
| Classificazione | AMS 03C |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001269959707536 |
|
Shelah, Saharon
|
||
| Berlin : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Proper forcing [e-book] / by Saharon Shelah
| Proper forcing [e-book] / by Saharon Shelah |
| Autore | Shelah, Saharon |
| Pubbl/distr/stampa | Berlin : Springer, 1982 |
| Descrizione fisica | 1 online resource (xxxii, 500 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 940 |
| Soggetto topico |
Mathematics
Logic, symbolic and mathematical |
| ISBN | 9783662215432 |
| Classificazione | AMS 03-02 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002500109707536 |
|
Shelah, Saharon
|
||
| Berlin : Springer, 1982 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||